University of Cambridge Computer Laboratory - PDFSEARCH.IO - Document Search Engine

University of Cambridge Computer Laboratory
Results: 746

#	Item
691	Getting 10 Gb/s from Xen: Safe and Fast Device Access from Unprivileged Domains Kieran Mansley, Greg Law, David Riddoch, Guido Barzini, Neil Turton, and Steven Pope Solarflare Communications, Inc. {kmansley,glaw,driddoch Add to Reading List Source URL: www.solarflare.com Language: English - Date: 2011-06-28 15:05:15 Computer networking University of Cambridge Computer Laboratory Xen Hardware virtualization I/O virtualization X86 virtualization Network virtualization Paravirtualization Device driver System software Software Virtual machines
692	If any reader knows of any other reference please let Frank Land know at [removed] (Last update[removed]BIBLIOGRAPHY BOOKS  ‘LEO and the Managers’; J.R.M. Simmons, Macdonald, London, 1962. Add to Reading List Source URL: www.leo-computers.org.uk Language: English - Date: 2014-04-20 06:28:45 LEO Outsourcing Supply chain management Management David Caminer Fellows of the British Computer Society John Pinkerton Frank Land J. Lyons and Co. Computing University of Cambridge Computer Laboratory Classes of computers
693	Usenet Gems Brian McCauley University Hospital, Birmingham, NHS Trust (not here in any official capacity) Add to Reading List Source URL: birmingham.pm.org Language: English - Date: 2007-02-20 00:52:14 University of Cambridge Computer Laboratory Computing Holism Source code Subroutine
694	The Reflection Theorem: A Study in Meta-Theoretic Reasoning Lawrence C. Paulson University of Cambridge, Computer Laboratory, JJ Thomson Avenue, Cambridge CB3 0FD, UK, [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-10-29 08:25:04 Ordinal numbers Constructible universe Axiom schema of replacement Absoluteness Zermelo–Fraenkel set theory Normal function Forcing Boolean-valued model Mathematical logic Mathematics Set theory
695	A Fixedpoint Approach to (Co)Inductive and (Co)Datatype Definitions∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England 28 May 1998 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:49 Mathematical logic Computability theory Theoretical computer science Recursion Theory of computation Primitive recursive function Structural induction Recursive definition Coinduction Mathematics Computer programming Software engineering
696	From Ornstein’s non–inequalities to rank–one convexity Jan Kristensen Oxford Based on joint work with Bernd Kirchheim Add to Reading List Source URL: www.sussex.ac.uk Language: English - Date: 2014-02-16 09:36:54 Generalized functions Tiny Encryption Algorithm University of Cambridge Computer Laboratory Fourier transform Riesz transform Sobolev inequality Distribution Mathematical analysis Integral transforms Fourier analysis
697	Set Theory for Veriﬁcation: II Induction and Recursion Lawrence C. Paulson Computer Laboratory, University of Cambridge April 1995 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:52 Theory of computation Functions and mappings Order theory Models of computation Knaster–Tarski theorem Function Well-founded relation Lambda calculus Constructible universe Mathematics Mathematical logic Computability theory
698	Final Coalgebras as Greatest Fixed Points in ZF Set Theory∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England Received 1 March 1999 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:48 Category theory Binary operations Functional programming F-coalgebra Initial algebra Coalgebra Function Cartesian product Exponentiation Mathematics Abstract algebra Type theory
699	Mechanizing Set Theory Cardinal Arithmetic and the Axiom of Choice Lawrence C. Paulson Computer Laboratory, University of Cambridge email: [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:46 Cardinal numbers Large cardinals Set theory Axiom of choice Zermelo–Fraenkel set theory Constructible universe First-order logic Mathematical proof Successor cardinal Mathematical logic Mathematics Logic
700	Preliminary Modules & components Add to Reading List Source URL: www.xenics.com Language: English - Date: 2014-04-30 04:46:41 NTSC Thermographic camera GigE vision Infrared Electromagnetic radiation University of Cambridge Computer Laboratory Xen

UPDATE